✅ Archive Proofs

Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·1d
🎯Performance Proofs
Preserving the Sounds of World War II
blogs.loc.gov·17h
🎵Audio Archaeology
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·21h·
Discuss: Hacker News
📊APL Heritage
Footnotes, Gödel exercises, Purcell
logicmatters.net·18h
👑Isabelle
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·3h
🕸️Tensor Networks
Secure file sharing solutions in AWS: A security and cost analysis guide, Part 1
aws.amazon.com·14h
🌊Streaming Systems
OTW - Bandit Level 0 to Level 1
tbhaxor.com·2h
🛡️CLI Security
Why we need better software identification
softwareheritage.org·17h
🔗Binary Similarity
Cracking the code: resilient defense and rapid recovery
techradar.com·17h
💾Persistence Strategies
50tb flash NAS- thoughts on the best/cheapest way?
reddit.com·7h·
Discuss: r/homelab
🏠Homelab Preservation
Linkage from Montreal
11011110.github.io·17h
🎨Graph Coloring
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·1d·
Discuss: Hacker News
🔀CRDT
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·2d·
Discuss: Hacker News
🧮Constraint SMT
Challenges Facing Information Management in Emerging Countries’ Government Agencies
info.aiim.org·21h
🔄Archival Workflows
StepFun Built an Efficient and Cost-Effective LLM Storage Platform with JuiceFS
dev.to·1h·
Discuss: DEV
🌊Streaming Systems
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
🧬Functional Programming
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·12h·
Discuss: Hacker News
💧Liquid Types
Stop Hardcoding Passwords
blog.nviso.eu·1h
🔐PKI Archaeology
Show HN: Calystone – privacy-first note- & task-mnger that works with your files
github.com·10h·
Discuss: Hacker News
🏠Personal Archiving
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·23h·
Discuss: Hacker News
🏛️Isabelle HOL